MiniBUG: From Concept to Production in a Prototyping System Alicia Gibb R&D Bug Labs New York, USA

Source URL: aliciagibb.com

Bug Labs Sketching in Hardware 2010 Thursday, July 29, 2010 designing for design

Source URL: www.sketching10.com

Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.”

Source URL: spinroot.com

• Compiler construction
• SPIN model checker
• Software bug
• Gerard J. Holzmann
• Holzmann
• Programming tool
• Embedded system
• Compiler
• Software
• Formal methods
• Computing

Measuring Privacy Loss and the Impact of Privacy Protection in Web Browsing Balachander Krishnamurthy AT&T Labs–Research Florham Park, NJ, USA

Source URL: www2.research.att.com

• HTTP cookie
• Web bug
• Privacy
• JavaScript
• Firefox
• World Wide Web
• Software
• Internet privacy
• Computing

Alicia M. Gibb th[removed]Street Boulder, CO[removed]2489

Source URL: aliciagibb.com

• Software
• Arduino
• Internet of Things
• Cross-platform software
• Processing
• Open source
• Ring
• Bug Labs
• Computing
• Electronics
• Microcontrollers

Bug classes we have found in *BSD, OS X and Solaris kernels http://www.bsdcitizen.org/ Christer Öberg

Source URL: www.digit-labs.org

• Software bugs
• Procedural programming languages
• C programming language
• C++
• Pointer
• Struct
• Linux kernel
• Kernel
• Memory leak
• Computing
• Software engineering
• Computer programming

Privacy leakage vs. Protection measures: the growing disconnect Balachander Krishnamurthy AT&T Labs–Research [removed]

Source URL: www2.research.att.com

• Ethics
• HTTP cookie
• Privacy
• Registered user
• Google Chrome
• Cross-site request forgery
• Web bug
• Software
• Computing
• Internet privacy

Privacy leakage vs. Protection measures: the growing disconnect Balachander Krishnamurthy AT&T Labs–Research [removed]

Source URL: w2spconf.com

• Ethics
• HTTP cookie
• Privacy
• Registered user
• Google Chrome
• Cross-site request forgery
• Web bug
• Software
• Computing
• Internet privacy

Finding bug fixes in mainline May 2007 Andi Kleen, SUSE Labs [removed] Laziness is a virtue!

Source URL: halobates.de

• Distributed revision control systems
• Git
• Linux kernel
• Patch
• Comparison of revision control software
• Software
• Computing
• System software